(0 12 1)(2 18 16)(3 10 7)(4 19 6)(5 20 8)(9 14 11)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (5 8 20)
(0 12 1)(2 18 16)(3 10 7)(4 19 6)(5 8 20)(9 14 11)(13 17 15)
2: (4 19 6)
(0 12 1)(2 18 16)(3 10 7)(4)(5 8 20)(6)(9 14 11)(13 17 15)(19)
3: (5 8 20)
(0 12 1)(2 18 16)(3 10 7)(4)(5)(6)(8)(9 14 11)(13 17 15)(19)(20)
4: (3 10 7)
(0 12 1)(2 18 16)(3)(4)(5)(6)(7)(8)(9 14 11)(10)(13 17 15)(19)(20)